Two-Band-Type Superconducting Instability in MgB2

Using the tight-binding method for the $\pi$-bands in MgB$_2$, the Hubbard on-site Coulomb interaction on two inequivalent boron $p_z$-orbitals is transformed into expressions in terms of $\pi$-band operators. For scattering processes relevant to the problemin which a wave vector {\bf q} is parallel to $\hat{z}$, it is found to take a relatively simple form consisting of intra-band Coulomb scattering, interband pair scattering etc. with large constant coupling constants. This allows to get a simple expression for the amplitude of interband pair scattering between two $\pi$-bands, which diverges if the interband polarization function in it becomes large enough.The latter was approximately evaluated and found to be largely enhanced in the band structure in MgB$_2$. These results lead to a divergent interband pair scattering, meaning two-band-type superconducting instability with enhanced $T_c$. Adding a subsidiary BCS attractive interaction in each band into consideration, a semi-quantitative gap equation is given, and $T_c$ and isotope exponent $\alpha$ are derived. The present instability is asserted to be the origin of high $T_c$ in MgB$_2$.Comment: 4 pages, to be published in J. Phys. Soc. Jpn. vol. 70, No.

Statistics of lowest excitations in two dimensional Gaussian spin glasses

A detailed investigation of lowest excitations in two-dimensional Gaussian spin glasses is presented. We show the existence of a new zero-temperature exponent lambda describing the relative number of finite-volume excitations with respect to large-scale ones. This exponent yields the standard thermal exponent of droplet theory theta through the relation, theta=d(lambda-1). Our work provides a new way to measure the thermal exponent theta without any assumption about the procedure to generate typical low-lying excitations. We find clear evidence that theta < theta_{DW} where theta_{DW} is the thermal exponent obtained in domain-wall theory showing that MacMillan excitations are not typical.Comment: 4 pages, 3 figures, (v2) revised version, (v3) corrected typo

Finite-Size Scaling of the Domain Wall Entropy Distributions for the 2D ±J\pm J Ising Spin Glass

The statistics of domain walls for ground states of the 2D Ising spin glass with +1 and -1 bonds are studied for $L \times L$ square lattices with $L \le 48$, and $p$ = 0.5, where $p$ is the fraction of negative bonds, using periodic and/or antiperiodic boundary conditions. When $L$ is even, almost all domain walls have energy $E_{dw}$ = 0 or 4. When $L$ is odd, most domain walls have $E_{dw}$ = 2. The probability distribution of the entropy, $S_{dw}$, is found to depend strongly on $E_{dw}$. When $E_{dw} = 0$, the probability distribution of $|S_{dw}|$ is approximately exponential. The variance of this distribution is proportional to $L$, in agreement with the results of Saul and Kardar. For $E_{dw} = k > 0$ the distribution of $S_{dw}$ is not symmetric about zero. In these cases the variance still appears to be linear in $L$, but the average of $S_{dw}$ grows faster than $\sqrt{L}$. This suggests a one-parameter scaling form for the $L$-dependence of the distributions of $S_{dw}$ for $k > 0$.Comment: 13 page

Preoperative systemic inflammation predicts postoperative infectious complications in patients undergoing curative resection for colorectal cancer

The presence of systemic inflammation before surgery, as evidenced by the glasgow prognostic score (mGPS), predicts poor long-term survival in colorectal cancer. The aim was to examine the relationship between the preoperative mGPS and the development of postoperative complications in patients undergoing potentially curative resection for colorectal cancer. Patients (n=455) who underwent potentially curative resections between 2003 and 2007 were assessed consecutively, and details were recorded in a database. The majority of patients presented for elective surgery (85%) were over the age of 65 years (70%), were male (58%), were deprived (53%), and had TNM stage I/II disease (61%), had preoperative haemoglobin (56%), white cell count (87%) and mGPS 0 (58%) in the normal range. After surgery, 86 (19%) patients developed a postoperative complication; 70 (81%) of which were infectious complications. On multivariate analysis, peritoneal soiling (P&#60;0.01), elevated preoperative white cell count (P&#60;0.05) and mGPS (P&#60;0.01) were independently associated with increased risk of developing a postoperative infection. In elective patients, only the mGPS (OR=1.75, 95% CI=1.17-2.63, P=0.007) was significantly associated with increased risk of developing a postoperative infection. Preoperative elevated mGPS predicts increased postoperative infectious complications in patients undergoing potentially curative resection for colorectal cancer

Direct perturbation theory on the shift of Electron Spin Resonance

We formulate a direct and systematic perturbation theory on the shift of the main paramagnetic peak in Electron Spin Resonance, and derive a general expression up to second order. It is applied to one-dimensional XXZ and transverse Ising models in the high field limit, to obtain explicit results including the polarization dependence for arbitrary temperature.Comment: 5 pages (no figures) in REVTE

Automatic Abstraction in SMT-Based Unbounded Software Model Checking

Software model checkers based on under-approximations and SMT solvers are very successful at verifying safety (i.e. reachability) properties. They combine two key ideas -- (a) "concreteness": a counterexample in an under-approximation is a counterexample in the original program as well, and (b) "generalization": a proof of safety of an under-approximation, produced by an SMT solver, are generalizable to proofs of safety of the original program. In this paper, we present a combination of "automatic abstraction" with the under-approximation-driven framework. We explore two iterative approaches for obtaining and refining abstractions -- "proof based" and "counterexample based" -- and show how they can be combined into a unified algorithm. To the best of our knowledge, this is the first application of Proof-Based Abstraction, primarily used to verify hardware, to Software Verification. We have implemented a prototype of the framework using Z3, and evaluate it on many benchmarks from the Software Verification Competition. We show experimentally that our combination is quite effective on hard instances.Comment: Extended version of a paper in the proceedings of CAV 201

Evidence for Strong-coupling S-wave Superconductivity in MgB2 :11B NMR Study

We have investigated a gap structure in a newly-discovered superconductor, MgB2 through the measurement of 11B nuclear spin-lattice relaxation rate, ^{11}(1/T_1). ^{11}(1/T_1) is proportional to the temperature (T) in the normal state, and decreases exponentially in the superconducting (SC) state, revealing a tiny coherence peak just below T_c. The T dependence of 1/T_1 in the SC state can be accounted for by an s-wave SC model with a large gap size of 2\Delta /k_BT_c \sim 5 which suggests to be in a strong-coupling regime.Comment: 2 pages with 1 figur

Radar systems for the water resources mission, volume 2

The application of synthetic aperture radar (SAR) in monitoring and managing earth resources was examined. The function of spaceborne radar is to provide maps and map imagery to be used for earth resource and oceanographic applications. Spaceborne radar has the capability of mapping the entire United States regardless of inclement weather; however, the imagery must have a high degree of resolution to be meaningful. Attaining this resolution is possible with the SAR system. Imagery of the required quality must first meet mission parameters in the following areas: antenna patterns, azimuth and range ambiguities, coverage, and angle of incidence

Radar systems for the water resources mission. Volume 4: Appendices E-I

The use of a scanning antenna beam for a synthetic aperture system was examined. When the resolution required was modest, the radar did not use all the time the beam was passing a given point on the ground to build a synthetic aperture, so time was available to scan the beam to other positions and build several images at different ranges. The scanning synthetic-aperture radar (SCANSAR) could achieve swathwidths of well over 100 km with modest antenna size. Design considerations for a SCANSAR for hydrologic parameter observation are presented. Because of the high sensitivity to soil moisture at angles of incidence near vertical, a 7 to 22 deg swath was considered for that application. For snow and ice monitoring, a 22 to 37 deg scan was used. Frequencies from X-band to L-band were used in the design studies, but the proposed system operated in C-band at 4.75 GHz. It achieved an azimuth resolution of about 50 meters at all angles, with a range resolution varying from 150 meters at 7 deg to 31 meters at 37 deg. The antenna required an aperture of 3 x 4.16 meters, and the average transmitter power was under 2 watts